21. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
پدیدآورنده : Christian Lengauer... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3016
22. Domain-theoretic foundations of functional programming
پدیدآورنده : / Thomas Streicher
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)
رده :
QA
76
.
7
.
S818
2006
23. Essential.NET
پدیدآورنده : / Don Box, with Chris Sells
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
رده :
QA76
.
76
.
M52
,
B69
2003
24. Expert advisor programming :
پدیدآورنده : Andrew R. Young.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Foreign exchange -- Computer programs.,Programming languages (Electronic computers)
رده :
Z52
.
5
.
M52
A537
2010
25. Exploring Robotics with ROBOTIS Systems
پدیدآورنده : Chi N. Thai
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science. , Programming languages (Electronic computers) , Artificial intelligence.
رده :
E-Book
,
26. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
27. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
28. Foundations of Programming Languages /
پدیدآورنده : by Kent D. Lee.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
29. Foundations of object-oriented languages
پدیدآورنده : / Kim B. Bruce
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Object-oriented programming (Computer science),Programming languages (Electronic computers)
رده :
QA
,
76
.
64
,.
B776
,
2002
30. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده : J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
31. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990
32. Fundamentals of Python :
پدیدآورنده : Kenneth A. Lambert.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Python (Computer program language),Data structures (Computer science),Object-oriented programming (Computer science),Python (Computer program language)
رده :
QA76
.
73
.
P98
L353
2019
33. Generalized quantifiers and computation
پدیدآورنده : Jouko Väänänen (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
34. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures
پدیدآورنده : Jouko Vaananen )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1754
35. Grammars and automata for string processing: from mathematics and computer science to biology, and back
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
36. Grammars and automata for string processing : from mathematics and computer science to biology, and back
پدیدآورنده : edited by Carlos Martin-Vide and Victor Mitrana
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
37. Graph data model and its data language
پدیدآورنده : Hideko S. Kunii,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Data base management,Data structures )Computer science(,Programming languages )Electronic computers(
رده :
QA
.
D3K86
76
.
9
1990
38. Great papers in computer science
پدیدآورنده : Laplante, Philip
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer science,، Programming languages )Electronic computers(
رده :
QA
76
.
L36
39. Indexing techniques for advanced database systems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Object-oriented databases,، Object-oriented programming )Computer science(,، Database management,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D3
.
I523
1997
40. Initial computability, algebraic specifications, and partial algebras
پدیدآورنده : / by Horst Reichel
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras
رده :
QA
76
.
9
.
M35R45
1987
